Optimal. Leaf size=58 \[ -\frac{45}{4} \sinh ^{-1}\left (\frac{x^2}{\sqrt{5}}\right )-\frac{\left (3 x^2+2\right ) x^4}{2 \sqrt{x^4+5}}+\frac{1}{4} \left (9 x^2+8\right ) \sqrt{x^4+5} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.145792, antiderivative size = 58, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2 \[ -\frac{45}{4} \sinh ^{-1}\left (\frac{x^2}{\sqrt{5}}\right )-\frac{\left (3 x^2+2\right ) x^4}{2 \sqrt{x^4+5}}+\frac{1}{4} \left (9 x^2+8\right ) \sqrt{x^4+5} \]
Antiderivative was successfully verified.
[In] Int[(x^7*(2 + 3*x^2))/(5 + x^4)^(3/2),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 11.2306, size = 51, normalized size = 0.88 \[ - \frac{x^{4} \left (30 x^{2} + 20\right )}{20 \sqrt{x^{4} + 5}} + \frac{\left (90 x^{2} + 80\right ) \sqrt{x^{4} + 5}}{40} - \frac{45 \operatorname{asinh}{\left (\frac{\sqrt{5} x^{2}}{5} \right )}}{4} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x**7*(3*x**2+2)/(x**4+5)**(3/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.0589764, size = 44, normalized size = 0.76 \[ \frac{1}{4} \left (\frac{3 x^6+4 x^4+45 x^2+40}{\sqrt{x^4+5}}-45 \sinh ^{-1}\left (\frac{x^2}{\sqrt{5}}\right )\right ) \]
Antiderivative was successfully verified.
[In] Integrate[(x^7*(2 + 3*x^2))/(5 + x^4)^(3/2),x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.026, size = 50, normalized size = 0.9 \[{({x}^{4}+10){\frac{1}{\sqrt{{x}^{4}+5}}}}+{\frac{3\,{x}^{6}}{4}{\frac{1}{\sqrt{{x}^{4}+5}}}}+{\frac{45\,{x}^{2}}{4}{\frac{1}{\sqrt{{x}^{4}+5}}}}-{\frac{45}{4}{\it Arcsinh} \left ({\frac{\sqrt{5}{x}^{2}}{5}} \right ) } \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x^7*(3*x^2+2)/(x^4+5)^(3/2),x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 0.774079, size = 120, normalized size = 2.07 \[ \sqrt{x^{4} + 5} - \frac{15 \,{\left (\frac{3 \,{\left (x^{4} + 5\right )}}{x^{4}} - 2\right )}}{4 \,{\left (\frac{\sqrt{x^{4} + 5}}{x^{2}} - \frac{{\left (x^{4} + 5\right )}^{\frac{3}{2}}}{x^{6}}\right )}} + \frac{5}{\sqrt{x^{4} + 5}} - \frac{45}{8} \, \log \left (\frac{\sqrt{x^{4} + 5}}{x^{2}} + 1\right ) + \frac{45}{8} \, \log \left (\frac{\sqrt{x^{4} + 5}}{x^{2}} - 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((3*x^2 + 2)*x^7/(x^4 + 5)^(3/2),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.297073, size = 205, normalized size = 3.53 \[ -\frac{12 \, x^{12} + 16 \, x^{10} + 105 \, x^{8} + 220 \, x^{6} - 75 \, x^{4} + 600 \, x^{2} - 45 \,{\left (4 \, x^{8} + 25 \, x^{4} -{\left (4 \, x^{6} + 15 \, x^{2}\right )} \sqrt{x^{4} + 5} + 25\right )} \log \left (-x^{2} + \sqrt{x^{4} + 5}\right ) -{\left (12 \, x^{10} + 16 \, x^{8} + 75 \, x^{6} + 180 \, x^{4} - 225 \, x^{2} + 200\right )} \sqrt{x^{4} + 5} - 750}{4 \,{\left (4 \, x^{8} + 25 \, x^{4} -{\left (4 \, x^{6} + 15 \, x^{2}\right )} \sqrt{x^{4} + 5} + 25\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((3*x^2 + 2)*x^7/(x^4 + 5)^(3/2),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 30.3557, size = 66, normalized size = 1.14 \[ \frac{3 x^{6}}{4 \sqrt{x^{4} + 5}} + \frac{x^{4}}{\sqrt{x^{4} + 5}} + \frac{45 x^{2}}{4 \sqrt{x^{4} + 5}} - \frac{45 \operatorname{asinh}{\left (\frac{\sqrt{5} x^{2}}{5} \right )}}{4} + \frac{10}{\sqrt{x^{4} + 5}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x**7*(3*x**2+2)/(x**4+5)**(3/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.268689, size = 61, normalized size = 1.05 \[ \frac{{\left ({\left (3 \, x^{2} + 4\right )} x^{2} + 45\right )} x^{2} + 40}{4 \, \sqrt{x^{4} + 5}} + \frac{45}{4} \,{\rm ln}\left (-x^{2} + \sqrt{x^{4} + 5}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((3*x^2 + 2)*x^7/(x^4 + 5)^(3/2),x, algorithm="giac")
[Out]